Specifying the PREMO Synchronization Objects
نویسندگان
چکیده
This paper describes the formal specification of object types for managing inter-media synchronisation and control within PREMO, an emerging ISO/IEC standard for multimedia systems. Object-Z, an object-oriented extension to the Z specification language, is used for this purpose. Some aspects of PREMO are non-trivial to express in Object-Z, and the paper outlines the reasons for choosing this specific language, and sets out recommendations for further research in the use of formal languages in this area. The work reported here has been carried out by members of the ISO/SC24 committee involved in producing the PREMO standard, and has been informed by a number of workshops sponsored by the ERCIM Computer Graphics Network.
منابع مشابه
A Standard Model for Multimedia Synchronization: PREMO
This paper describes an event–based Maintaining the presentation of a continuous media data Synchronization Objects Ivan Herman1, Nuno Correia2, David A. Duce3, David J. Duke4, Graham J. Reynolds5, James Van Loo6 1 Centrum voor Wiskunde en Informatica (CWI), Kruislaan 413, 1098 SJ Amsterdam, The Netherlands 2 Instituto de Engenharia de Sistemas e Computadores (INESC), 9, Alves Redol, 1000 Lisbo...
متن کاملMultimedia Synchronization Through Interactive Active Objects
This paper presents an Active Objects Model as an environment for the implementation and demonstration of key concepts in the emerging ISO/IEC Standard, PResentation Environments for Multimedia Objects (PREMO). The event-based synchronization mechanism which is a key concept in multimedia presentation is presented through a set of examples. The AOM model consists of a set of active agents with ...
متن کاملThe Open Inventor Toolkit and the PREMO Standard
REPORTRAPPORT The open inventor toolkit and the PREMO standard Abstract PREMO is an emerging international standard for the presentations of multimedia objects including computer graphics. Open Inventor TM is a commercially available \de facto" standard for interactive computer graphics packaged as a library of objects. In this paper, we consider whether the concepts and objects of PREMO are su...
متن کاملPremo: An Emerging Standard for Multimedia Presentation
ISO/IEC JTC1/SC24 are developing a standard for the presentation of multimedia objects, called PREMO (Presentation Environments for Multimedia Objects). PREMO is aimed at application developers who want to include multimedia effects into the applications, but do not want to restrict themselves to model of multimedia documents, which is prevalent in multimedia applications today. This report giv...
متن کاملInvestigating the behaviour of PREMO synchronizable objects
PREMO stands for Presentation Environment for Multimedia Objects and is a major new standard under development within ISO/IEC. It addresses the creation of, presentation of and interaction with all forms of information using single or multiple media. The PREMO standard (u.d.) is currently described using english with an additional formal speciication in Object-Z. Such a state based speciication...
متن کامل